A set of modules for creating compilers in Haskell. [Open Source, GPL]

Explains the risks of exchanging data in non-public format and suggests the main alternatives.

University of New South Wales - Logic and model theory, belief revision.

Description of several types of formal grammars for natural language processing, parse trees, and a number of parsing methods.

Bindings for GTK+ for Haskell.

Bindings for GTK+ for the functional programming language Haskell.

University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.

University of New South Wales - Artificial intelligence, knowledge-based systems, intelligent data analysis, machine learning, knowledge acquisition, theory of neural networks, philosophical foundations of AI.

Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: Prove SASOSs can run on normal hardware, be as secure as normal OSs; can be as efficient as, and are faster than, normal OSs in some important uses; can...

Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: Prove SASOSs can run on normal hardware, be as secure as normal OSs; can be as efficient as, and are faster than, normal OSs in some important uses; can...